package edu.pku.sei.transformation.mtparser;

public interface MTParsersym {
    public final static int
      TK_INTEGER_LITERAL = 7,
      TK_REAL_LITERAL = 8,
      TK_STRING_LITERAL = 9,
      TK_GREATER = 48,
      TK_LESS = 49,
      TK_EQUAL = 26,
      TK_LPAREN = 1,
      TK_RPAREN = 4,
      TK_LBRACE = 23,
      TK_RBRACE = 24,
      TK_LBRACKET = 35,
      TK_RBRACKET = 27,
      TK_ARROW = 36,
      TK_BAR = 28,
      TK_COMMA = 3,
      TK_COLON = 50,
      TK_COLONCOLON = 29,
      TK_SEMICOLON = 20,
      TK_DOT = 2,
      TK_foreach = 51,
      TK_forall = 37,
      TK_existone = 38,
      TK_new = 21,
      TK_delete = 22,
      TK_if = 39,
      TK_then = 40,
      TK_else = 41,
      TK_endif = 30,
      TK_and = 42,
      TK_or = 43,
      TK_not = 31,
      TK_check = 32,
      TK_enforce = 33,
      TK_match = 10,
      TK_full = 44,
      TK_partial = 45,
      TK_transformation = 11,
      TK_rule = 6,
      TK_env = 12,
      TK_trace = 13,
      TK_null = 14,
      TK_invalid = 15,
      TK_def = 34,
      TK_based = 46,
      TK_true = 16,
      TK_false = 17,
      TK_evaluate = 25,
      TK_exclusiveVars = 18,
      TK_union = 19,
      TK_EOF_TOKEN = 47,
      TK_IDENTIFIER = 5,
      TK_ERROR_TOKEN = 52;

    public final static String orderedTerminalSymbols[] = {
                 "",
                 "LPAREN",
                 "DOT",
                 "COMMA",
                 "RPAREN",
                 "IDENTIFIER",
                 "rule",
                 "INTEGER_LITERAL",
                 "REAL_LITERAL",
                 "STRING_LITERAL",
                 "match",
                 "transformation",
                 "env",
                 "trace",
                 "null",
                 "invalid",
                 "true",
                 "false",
                 "exclusiveVars",
                 "union",
                 "SEMICOLON",
                 "new",
                 "delete",
                 "LBRACE",
                 "RBRACE",
                 "evaluate",
                 "EQUAL",
                 "RBRACKET",
                 "BAR",
                 "COLONCOLON",
                 "endif",
                 "not",
                 "check",
                 "enforce",
                 "def",
                 "LBRACKET",
                 "ARROW",
                 "forall",
                 "existone",
                 "if",
                 "then",
                 "else",
                 "and",
                 "or",
                 "full",
                 "partial",
                 "based",
                 "EOF_TOKEN",
                 "GREATER",
                 "LESS",
                 "COLON",
                 "foreach",
                 "ERROR_TOKEN"
             };

    public final static int numTokenKinds = orderedTerminalSymbols.length;
    public final static boolean isValidForParser = true;
}
